COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	%circui.pro[f86,jmc]	Sterling,Shapiro circuit program.
C00003 ENDMK
C⊗;
%circui.pro[f86,jmc]	Sterling,Shapiro circuit program.

inverter(inv(T,R),Input,Output) :-
transistor(T,Input,ground,Output),
resistor(R,power,Output).

nand-gate(nand(T1,T2,R),Input1,Input2,Output) :-
transistor(T1,Input1,X,Output),
transistor(T2,Input2,ground,X),
resistor(R,power,Output).

and-gate(and(N,1),Input1,Input2,Output) :-
nand-gate(N,Input1,Input2,X),
inverter(I,X,Output).

test1 :- [gdcirc],and-gate(G,n3,n5,n1).
test2 :- [badcrc],and-gate(G,n3,n5,n1).